* keyboard.c (timer_check): After a timer runs, ensure that the

selected window's buffer is current.

diff --git a/src/ChangeLog b/src/ChangeLog
index 1e5147245f197afcb282f63850f4224547145fa2..0f3633d3415523f13bf3ca6ffc870bcf30723cef 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2008-11-30  Chong Yidong  <cyd@stupidchicken.com>
+
+       * keyboard.c (timer_check): After a timer runs, ensure that the
+       selected window's buffer is current.
+
 2008-11-30  Juanma Barranquero  <lekktu@gmail.com>
 
        * makefile.w32-in ($(BLD)/abbrev.$(O)): Remove.